منابع مشابه
SLAB Benchmarks
Abstraction and slicing are both techniques for reducing the size of the state space to be inspected during verification. In the paper [1], we present a new model checking procedure for infinite-state concurrent systems that interleaves automatic abstraction refinement, which splits states according to new predicates obtained by Craig interpolation, with slicing, which removes irrelevant states...
متن کاملSlab pull, slab weakening, and their relation to deep intra-slab seismicity
[1] Subduction zone seismicity is highly variable. Great earthquakes occur at few subduction zones around the world, with significant variation in size and frequency of deep events. Interactions between overriding and subducting plates and slab pull strength for individual plates provide a framework for understanding these variations. Previous work suggests an inverse correlation between great ...
متن کاملSlab window migration and terrane accretion preserved by low‐temperature thermochronology of a magmatic arc, northern Antarctic Peninsula
[1] Existing paleogeographic reconstructions indicate that the northern Antarctic Peninsula was central to several Mesozoic and Cenozoic tectonic events that have implications for ocean circulation and continental margin evolution. To evaluate the exhumational record of these processes, we collected new samples and measured fission track and (U‐Th)/He cooling ages of apatite and zircon from 13 ...
متن کاملPlio–Pleistocene basalts from the Meseta del Lago Buenos Aires, Argentina: evidence for asthenosphere–lithosphere interactions during slab window magmatism
Plio–Pleistocene (3.4–0.125 Ma) post-plateau magmatism in the Meseta del Lago Buenos Aires (MLBA; 46.7jS) in southern Patagonia is linked with the formation of asthenospheric slab windows due to ridge collision along the Andean margin f 6 Ma ago. MLBA post-plateau lavas are highly alkaline (43–49% SiO2; 5–8% Na2O+K2O), relatively primitive (6–10% MgO) mafic volcanics that have strong OIB-like g...
متن کاملThe wet Nicaraguan slab
[1] Nicaraguan volcanoes show globally high concentrations of geochemical tracers from dehydration of subducting crust, which may reflect a slab with unusually high amounts of H2O. To test this possibility, we measure seismic velocities at the top of the subducted plate and compare them with predictions for hydrated mafic rocks. Regional seismic P waves for intraslab events at 100–150 km depth ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature Geoscience
سال: 2011
ISSN: 1752-0894,1752-0908
DOI: 10.1038/ngeo1258